Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automated Technology for Verification and Analysis [[electronic resource] ] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / / edited by Susanne Graf, Wenhui Zhang
| Automated Technology for Verification and Analysis [[electronic resource] ] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / / edited by Susanne Graf, Wenhui Zhang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 546 p.) |
| Disciplina | 004.01/5113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer-aided engineering
Computer logic Computers Computer communication systems Special purpose computers Software engineering Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs Information Systems and Communication Service Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering |
| ISBN | 3-540-47238-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains -- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement -- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis -- Model Checking Timed Systems with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness of Nondeterminism -- Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition -- On the Satisfiability of Modular Arithmetic Formulae -- Selective Approaches for Solving Weak Games -- Controller Synthesis and Ordinal Automata -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis for Probabilistic Environments -- Branching-Time Property Preservation Between Real-Time Systems -- Automatic Verification of Hybrid Systems with Large Discrete State Space -- Timed Unfoldings for Networks of Timed Automata -- Symbolic Unfoldings for Networks of Timed Automata -- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics for Abstracting Transient States -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols -- Analyzing Security Protocols in Hierarchical Networks -- Functional Analysis of a Real-Time Protocol for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets -- Sigref – A Symbolic Bisimulation Tool Box -- Towards a Model-Checker for Counter Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. |
| Record Nr. | UNISA-996466163603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Technology for Verification and Analysis [[electronic resource] ] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / / edited by Susanne Graf, Wenhui Zhang
| Automated Technology for Verification and Analysis [[electronic resource] ] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / / edited by Susanne Graf, Wenhui Zhang |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 546 p.) |
| Disciplina | 004.01/5113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer-aided engineering
Computer logic Computers Computer communication systems Special purpose computers Software engineering Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs Information Systems and Communication Service Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering |
| ISBN | 3-540-47238-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains -- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement -- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis -- Model Checking Timed Systems with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness of Nondeterminism -- Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition -- On the Satisfiability of Modular Arithmetic Formulae -- Selective Approaches for Solving Weak Games -- Controller Synthesis and Ordinal Automata -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis for Probabilistic Environments -- Branching-Time Property Preservation Between Real-Time Systems -- Automatic Verification of Hybrid Systems with Large Discrete State Space -- Timed Unfoldings for Networks of Timed Automata -- Symbolic Unfoldings for Networks of Timed Automata -- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics for Abstracting Transient States -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols -- Analyzing Security Protocols in Hierarchical Networks -- Functional Analysis of a Real-Time Protocol for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets -- Sigref – A Symbolic Bisimulation Tool Box -- Towards a Model-Checker for Counter Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. |
| Record Nr. | UNINA-9910483523303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 313 p.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Operating Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-92188-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The MOBIUS Project -- The MOBIUS Proof Carrying Code Infrastructure -- Certification Using the Mobius Base Logic -- Safety Guarantees from Explicit Resource Management -- Universe Types for Topology and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode -- The GridCOMP Project -- Active Objects and Distributed Components: Theory and Implementation -- The SELFMAN Project -- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based Specification and Design -- The CREDO Project -- Coordination: Reo, Nets, and Logic -- An Object-Oriented Component Model for Heterogeneous Nets -- Coordinating Object Oriented Components Using Data-Flow Networks. |
| Record Nr. | UNISA-996466073603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (X, 313 p.) |
| Disciplina | 005.117 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Operating Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-92188-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The MOBIUS Project -- The MOBIUS Proof Carrying Code Infrastructure -- Certification Using the Mobius Base Logic -- Safety Guarantees from Explicit Resource Management -- Universe Types for Topology and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode -- The GridCOMP Project -- Active Objects and Distributed Components: Theory and Implementation -- The SELFMAN Project -- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based Specification and Design -- The CREDO Project -- Coordination: Reo, Nets, and Logic -- An Object-Oriented Component Model for Heterogeneous Nets -- Coordinating Object Oriented Components Using Data-Flow Networks. |
| Record Nr. | UNINA-9910483817303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 429 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Computers Programming languages (Electronic computers) Operating systems (Computers) Software Engineering Logics and Meanings of Programs Theory of Computation Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-36750-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component and Service Oriented Computing -- A Software Component Model and Its Preliminary Formalisation -- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing -- System Design -- Control of Modular and Distributed Discrete-Event Systems -- Model-Based Security Engineering with UML: Introducing Security Aspects -- The Pragmatics of STAIRS -- Tools -- Smallfoot: Modular Automatic Assertion Checking with Separation Logic -- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via Leader Election Problems -- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation -- Model Checking -- Abstraction and Refinement in Model Checking -- Program Compatibility Approaches -- Cluster-Based LTL Model Checking of Large Systems -- Safety and Liveness in Concurrent Pointer Programs -- Assertional Methods -- Modular Specification of Encapsulated Object-Oriented Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A Modular Reusable Verifier for Object-Oriented Programs -- Quantitative Analysis -- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages -- Partial Order Reduction for Markov Decision Processes: A Survey. |
| Record Nr. | UNISA-996466091203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 429 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer logic Computers Programming languages (Electronic computers) Operating systems (Computers) Software Engineering Logics and Meanings of Programs Theory of Computation Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-36750-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component and Service Oriented Computing -- A Software Component Model and Its Preliminary Formalisation -- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing -- System Design -- Control of Modular and Distributed Discrete-Event Systems -- Model-Based Security Engineering with UML: Introducing Security Aspects -- The Pragmatics of STAIRS -- Tools -- Smallfoot: Modular Automatic Assertion Checking with Separation Logic -- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via Leader Election Problems -- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation -- Model Checking -- Abstraction and Refinement in Model Checking -- Program Compatibility Approaches -- Cluster-Based LTL Model Checking of Large Systems -- Safety and Liveness in Concurrent Pointer Programs -- Assertional Methods -- Modular Specification of Encapsulated Object-Oriented Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A Modular Reusable Verifier for Object-Oriented Programs -- Quantitative Analysis -- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages -- Partial Order Reduction for Markov Decision Processes: A Survey. |
| Record Nr. | UNINA-9910483463503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 005.13/1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Operating Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion-Based Encapsulation, Object Invariants and Simulations -- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects -- Observability, Connectivity, and Replay in a Sequential Calculus of Classes -- Timing Analysis and Timing Predictability. |
| Record Nr. | UNISA-996465867103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 328 p.) |
| Disciplina | 005.13/1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Operating Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion-Based Encapsulation, Object Invariants and Simulations -- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects -- Observability, Connectivity, and Replay in a Sequential Calculus of Classes -- Timing Analysis and Timing Predictability. |
| Record Nr. | UNINA-9910483676903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 371 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-30101-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling -- Machine Function Based Control Code Algebras -- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study -- On the Verification of Cooperating Traffic Agents -- How to Cook a Complete Hoare Logic for Your Pet OO Language -- Behavioural Specification for Hierarchical Object Composition -- Consistency Management within Model-Based Object-Oriented Development of Components -- CommUnity on the Move: Architectures for Distribution and Mobility -- TulaFale: A Security Tool for Web Services -- A Checker for Modal Formulae for Processes with Data -- Semantic Essence of AsmL: Extended Abstract -- An MDA Approach to Tame Component Based Software Development -- An Application of Stream Calculus to Signal Flow Graphs -- Synchronous Closing and Flow Analysis for Model Checking Timed Systems -- Priority Systems -- Preserving Properties under Change -- Tools for Generating and Analyzing Attack Graphs. |
| Record Nr. | UNINA-9910144154103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Components and Objects [[electronic resource] ] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
| Formal Methods for Components and Objects [[electronic resource] ] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VIII, 371 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-30101-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling -- Machine Function Based Control Code Algebras -- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study -- On the Verification of Cooperating Traffic Agents -- How to Cook a Complete Hoare Logic for Your Pet OO Language -- Behavioural Specification for Hierarchical Object Composition -- Consistency Management within Model-Based Object-Oriented Development of Components -- CommUnity on the Move: Architectures for Distribution and Mobility -- TulaFale: A Security Tool for Web Services -- A Checker for Modal Formulae for Processes with Data -- Semantic Essence of AsmL: Extended Abstract -- An MDA Approach to Tame Component Based Software Development -- An Application of Stream Calculus to Signal Flow Graphs -- Synchronous Closing and Flow Analysis for Model Checking Timed Systems -- Priority Systems -- Preserving Properties under Change -- Tools for Generating and Analyzing Attack Graphs. |
| Record Nr. | UNISA-996465398103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
